Why the power of convex lens is positive